step(al,ii,tm(ic,[ctxm(pi_,u,ip,ip_al_1,ip_al_1),ctxm(pi_,idp1,ip,ip_ii,ip_ii)],pri(icred,[ctxm(pi_,u,i,i_al,i_al),ctxm(pi_,idp1,kM,kM_ii,kM_ii),pri(lst,[ctxm(pi_,u,i_ii,i_al_ii,i_al_ii),ctxm(pi_,u,d_1,id_1,cd_1),ctxm(pi_,u,d_2,id_2,cd_2),ctxm(pi_,u,d_3,id_3,cd_3)]),ctxm(pi_,dot,n_c1_1,in_pi_n1,cn_pi_n1),ctxm(pi_,dot,n_c1_2,in_pi_n2,cn_pi_n2),ctxm(pi_,dot,n_c1_3,in_pi_n3,cn_pi_n3),ctxm(pi_,dot,n_c1_4,in_pi_n4,cn_pi_n4),ctxm(pi_,dot,n_c1_5,in_pi_n5,cn_pi_n5),ctxm(pi_,dot,n_c1_6,in_pi_n6,cn_pi_n6),ctxm(pi_,dot,n_c1_7,in_pi_n7,cn_pi_n7)]))).

